$\forall$$i$:Id, $k$:Knd. ($\uparrow$has{-}src($i$;$k$)) $\Leftarrow\!\Rightarrow$ (($\uparrow$isrcv($k$)) c$\wedge$ (source(lnk($k$)) = $i$))